Try Our New BETA Version
GO
Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 50 of 110 (0.285 secs)
You searched for: subject:"data flow"
[1] 2 3     Next    Last
[texts]Context-dependent flow-sensitive interprocedural dataflow analysis and its application to slicing and parallelization - Johmann, Kurt
Typescript
Keywords: Data flow computing; Software engineering
Downloads: 119
[texts]65
This paper describes the proposal of a priority floworiented design of the Ksensor architecture. Ksensor is amultiprocessor traffic capture and analysis system for highspeed networks developed at kernel space. While the currentarchitecture permits the capture and analysis of data flows,there are several scenarios where it does not performadequately to achieve this goal, for example, if a certain typeof traffic is more valuable than others...
Keywords: data flow monitoring; priorities; high-speed networks; kernel-level traffic probe; Ksensor
Downloads: 8
[texts] Investigation of the Interaction between the Rotor and Stator of a Transonic Compressor - Neuhoff, F.
An evaluation of the rotor outflow matching to a downstream stator was conducted for a transonic compressor stage. The study compared experimental data and throughflow computations of the blading flow field to examine the flow angles and velocity distribu
Keywords: *BLADES, *ROTORS, *STATORS, *TURBOMACHINERY, ANGLES, COMPUTATIONS, DISTRIBUTION, EXPERIMENTAL DATA, FLOW, FLOW FIELDS, INTERACTIONS, ISOLATION, MATCHING, VELOCITY
Downloads: 78
[texts]Feasibility of flight experiments and instrumentation hardware for in-flight hypersonic boundary-layer measurements - Cattolica, R. J.
We have examined the feasibility of implementing nonintrusive optical diagnostics to measure the properties of the boundary layer surrounding a hypersonic vehicle. Measurements of density, temperature, location of the shock front, and N2, O2, and NO concentrations are feasible using electron-beam fluorescence, for which instrumentation appropriate for flight experiments already exists. In particular, NO will be a key indicator of the chemistry occurring at the vehicle nose and leading edges...
Keywords: COMPUTER TECHNIQUES; LOCAL AREA NETWORKS; NETWORK ANALYSIS; QUEUEING THEORY; COMPUTER PROGRAMMING; DATA FLOW ANALYSIS; NETWORK CONTROL
Downloads: 77
[texts]A Computer Integrated Framework for E-learning Control Systems Based on Data Flow Diagrams - Hamed Fazlollahtabar, Ali Abbasi
E-learning is currently considered as a valid and effective didactic methodology in courses at different levels such as high-school or university education, or net-based teaching. In scientific fields the adoption of e-Learning is more complex since courses have to include not only theoretical concepts but also practical activities on specific instrumentation. Over the past two decades, diverse research efforts have been made towards the personalization of e-learning platforms...
Keywords: E-learning Systems; Control Systems; Data Flow Diagram (DFD); Computer Integrated
Downloads: 150
[texts]Baseline Validation of Unstructured Grid Reynolds-Averaged Navier-Stokes Toward Flow Control - Joslin, Ronald D.
The value of the use of the Reynolds-averaged Navier-Stokes methodology for active flow control applications is assessed. An experimental flow control database exists for a NACA0015 airfoil modified at the leading edge to implement a fluidic actuator; hence, this configuration is used. Computational results are documented for the baseline wing configuration (no control) with the experimental results and assumes two-dimensional flow...
Keywords: DATA FLOW ANALYSIS; GRAVITATIONAL EFFECTS; GRAVITY PROBE B; GYROSCOPES; DATA REDUCTION; ERROR ANALYSIS; RELATIVITY
Downloads: 125
[texts]Development of a Computer Program for Analyzing Preliminary Aircraft Configurations in Relationship to Emerging Agility Metrics - Bauer, Bren
This paper discusses the development of a FORTRAN computer code to perform agility analysis on aircraft configurations. This code is to be part of the NASA-Ames ACSYNT (AirCraft SYNThesis) design code. This paper begins with a discussion of contemporary agility research in the aircraft industry and a survey of a few agility metrics. The methodology, techniques and models developed for the code are then presented...
Keywords: DATA STORAGE; INFORMATION RETRIEVAL; DATA FLOW ANALYSIS; PERFORMANCE PREDICTION; EARTH SCIENCES; SUPERCOMPUTERS; BANDWIDTH; DATA ACQUISITION
Downloads: 182
[texts]Cryptolog Volume VII Numbers 4-6 - National Security Agency
Features: Data Flow - Challenge Of The 1980s (U) by Cecil J. Phillips A Traffic Analyst Looks At Computers (U) P16 Language And Cryptologic Library (U) ... And In A More Modern Vein. . . (U) Oh, K! (U) NSA-Crostic No. 31 (U) by D.H.W. Lime-a, Ohio; Leem-a, Peru (U) by A.J. Salemme Ait (U) Soviet C^3 (U) What To Do About "Fanx" (U) Help Wanted (U) by Tom Engle
Keywords: NSA; Cryptolog; declassified; redacted; jun; apr; data; unclassified; secret; data flow; top secret; secret umbra; crypto log
Downloads: 10
[texts]The Development of a PdCr Integral Weldable Strain Measurement System Based on NASA Lewis PdCr/Pt Strain Sensor for User-Friendly Elevated Temperature Strain Measurements - Wnuk, S. P., Jr.
This report describes the development of a user friendly weldable strain gage employing the NASA Lewis PdCr/Pt wire strain sensor. The NASA sensors are pre-attached to Hastelloy X or Titanium alloy shims using name spray techniques developed under previous NASA programs. The weldable sensors are then pre-stabilized for 50 hours at 780 C in air. A weldable terminal and high temperature cable is then connected to the sensor and the assembly is pre-calibrated over the full test temperature range...
Keywords: HARDWARE; COMPUTER SYSTEMS PERFORMANCE; CENTRAL PROCESSING UNITS; REAL TIME OPERATION; DATA ACQUISITION; DATA BASES; DATA FLOW ANALYSIS
Downloads: 81
[texts]CMEs, the Tail of the Solar Wind Magnetic Field Distribution, and 11-yr Cosmic Ray Modulation at 1 AU - Cliver, E. W.
Using a recent classification of the solar wind at 1 AU into its principal components (slow solar wind, high-speed streams, and coronal mass ejections (CMEs) for 1972-2000, we show that the monthly-averaged galactic cosmic ray intensity is anti-correlated with the percentage of time that the Earth is imbedded in CME flows. We suggest that this correlation results primarily from a CME related change in the tail of the distribution function of hourly-averaged values of the solar wind magnetic fiel...
Keywords: COMPUTATIONAL GRIDS; LOGARITHMS; SYNCHRONISM; MATHEMATICAL MODELS; COMMUNICATION NETWORKS; PERFORMANCE TESTS; MESSAGE PROCESSING; STOCHASTIC PROCESSES; ASYMMETRY; DATA FLOW ANALYSIS; DATA BASES
Downloads: 72
[texts]Calculation of helicopter rotor blade/vortex interaction by Navier-Stokes procedures - Kim, Y.-N.
Interactions of a modern rotor blade with concentrated tip vortices from the previous blades can have a significant influence on the airloads and the aeroacoustics of a helicopter. A better understanding of the blade/vortex interaction process and a method of analyzing its flow field would provide valuable help in the design of helicopters. The work discussed herein represents an initial effort in applying a 3-D, time-dependent Navier-Stokes simulation to the blade vortex interaction problem...
Keywords: DATA FLOW ANALYSIS; HIERARCHIES; INFORMATION MANAGEMENT; INFORMATION SYSTEMS; INPUT/OUTPUT ROUTINES; NETWORK CONTROL; FAULT TOLERANCE; MICROPROCESSORS; USER REQUIREMENTS
Downloads: 289
[texts]AOIPS 3 user's guide. Volume 2: Program descriptions - Schotz, Steve S.
The Atmospheric and Oceanographic Information Processing System (AOIPS) 3 is the version of the AOIPS software as of April 1989. The AOIPS software was developed jointly by the Goddard Space Flight Center and General Sciences Corporation. A detailed description of very AOIPS program is presented. It is intended to serve as a reference for such items as program functionality, program operational instructions, and input/output variable descriptions...
Keywords: RESEARCH FACILITIES; SYNCHRONISM; SYSTEMS INTEGRATION; TELECOMMUNICATION; TIME DIVISION MULTIPLE ACCESS; ACTS; DATA FLOW ANALYSIS; LOW COST; MODULATORS
Downloads: 311
[texts]generalmanual 000013569
generalmanual 000013569
Keywords: etherfast; fiber; module; data; fax; instant; duplex; switches; switch; ports; instant etherfast; full duplex; flow control; fiber module; data flow; data transfer; control filters; address learning
Downloads: 12
[texts]Rocket Engine Turbine On-Blade Fluctuating Pressure Experimental work - Zoladz, Thomas F
Contents of the Fluids Workshop include: Background; SSME HPFT On-Blade Effort; and Turbine Performance Optimization Effort.
Keywords: GEOSYNCHRONOUS ORBITS; FLIGHT TESTS; MODEMS; DATA FLOW ANALYSIS; LOW EARTH ORBITS; TELEMETRY; TDR SATELLITES; COMMERCIAL SPACECRAFT; BALLOON FLIGHT; DATA TRANSMISSION; GROUND STATIONS; COST EFFECTIVENESS
Downloads: 115
[texts]Computational fluid dynamics combustion analysis evaluation - Kim, Y. M.
This study involves the development of numerical modelling in spray combustion. These modelling efforts are mainly motivated to improve the computational efficiency in the stochastic particle tracking method as well as to incorporate the physical submodels of turbulence, combustion, vaporization, and dense spray effects. The present mathematical formulation and numerical methodologies can be casted in any time-marching pressure correction methodologies (PCM) such as FDNS code and MAST code...
Keywords: DATA FLOW ANALYSIS; MODELS; SEMANTICS; SYNTAX; SYSTEMS ENGINEERING; INFORMATION MANAGEMENT; MANAGEMENT INFORMATION SYSTEMS; METHODOLOGY; SYSTEMS ANALYSIS; CHARTS; COMPUTER AIDED MANUFACTURING; FLOW CHARTS; LANGUAGES
Downloads: 188
[texts]Cryogenic Carbonate Formation on Mars: Clues from Stable Isotope Variations Seen in Experimental Studies - Socki, Richard A.
Discoveries of large deposits of sedimentary materials on the planet Mars by landers and orbiters have confirmed the widely held hypothesis that water has played a crucial role in the development of the martian surface. Recent studies have indicated that both water ice and liquid water may have been present and in the case of water ice perhaps is still present on or near the surface of Mars. However, there remains much controversy about the prevailing atmospheric conditions and climate of Mars d...
Keywords: REVERBERATION CHAMBERS; LOADS (FORCES); STANDARD DEVIATION; ANTENNA DESIGN; SYSTEMS INTEGRATION; AVIONICS; MAGNETIC PERMEABILITY; RADIATION MEASUREMENT; ELECTROMAGNETIC RADIATION; SYSTEMS HEALTH MONITORING; DATA FLOW ANALYSIS; FREQUENCY RANGES; INPUT/OUTPUT ROUTINES
Downloads: 118
[texts]The Nature of the UV/X-ray Absorber In PG 2302029 - Sabra, Bassem M.
We present Chandra X-ray observations of the radio-quiet QSO PG 2302029. This quasar has a rare system of ultra-high velocity (-56,000 km s(exp -1) UV absorption lines that form in an outflow from the active nucleus. The Chandra data indicate that soft X-ray absorption is also present. We perform a joint UV and X-ray analysis, using photoionization calculations, to determine the nature of the absorbing gas...
Keywords: AUTOMATION; EARTH OBSERVATIONS (FROM SPACE); EARTH SCIENCES; DATA PROCESSING; ALGORITHMS; DATA FLOW ANALYSIS; JAVA (PROGRAMMING LANGUAGE); INFORMATION FLOW; REAL TIME OPERATION
Downloads: 62
[texts]Computational Aeroacoustic Analysis of Slat Trailing-Edge Flow - Singer, Bart A.
An acoustic analysis based on the Ffowcs Williams and Hawkings equation was performed for a high-lift system. As input, the acoustic analysis used un- steady flow data obtained from a highly resolved, time-dependent, Reynolds-averaged Navier-Stokes calculation. The analysis strongly suggests that vor- tex shedding from the trailing edge of the slat results in a high-amplitude, high-frequency acoustic signal, similar to that which was observed in a correspond- ing experimental study of the high-l...
Keywords: COMPUTER PROGRAMS; PARALLEL COMPUTERS; SCHEDULING; DATA FLOW ANALYSIS; SEQUENCING; PARALLEL PROCESSING (COMPUTERS); AEROACOUSTICS; FAR FIELDS; LINEAR EQUATIONS; PANEL METHOD (FLUID DYNAMICS)
Downloads: 98
[texts]Investigation of the Effect of Two-Dimensional Cavities on Boundary Layers in an Adverse Pressure Gradient - Margason, Richard J
The present investigation evaluated one aspect of the feasibility of the use of multiple cavities as an airfoil high-lift device. The effects of cavities on the boundary layer characteristics in several pressure gradients were determined experimentally and computationally. Experimentally, it was found that up to four cavities could be deployed with only a small change to the boundary layer profiles downstream of the cavities and without significantly modifying the resultant streamwise pressure d...
Keywords: ALGORITHMS; COSTS; THREE DIMENSIONAL MODELS; DATA ACQUISITION; DATA FLOW ANALYSIS; TIME DEPENDENCE; TIME MEASURING INSTRUMENTS; UNIX (OPERATING SYSTEM); CUBES (MATHEMATICS); COMPUTATION
Downloads: 137
[texts]ibm :: 2250 :: Z27-2069-1 2250 Model 2 Diagrams Sep67
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: 2250 :: Z27-2069-1 2250 Model 2 Diagrams Sep67
Keywords: cntl; ibm; damping; sroii; gain; bit; crd; uuf; xroii; char; gain cntl; ibm confidential; data flow; pos yoke; light pen; unit model; display unit
Downloads: 55
[texts]apollo :: brochures :: Apollo Series 10000 Brochure Jul88
From the bitsavers.org collection, a scanned-in computer-related document.apollo :: brochures :: Apollo Series 10000 Brochure Jul88
Keywords: series; apollo; loooo; floating; multiprocessor; integer; data; workstation; advanced; floating point; series loooo; data flow; scan path; path technology; point unit; instruction set; disk striping; central processing
Downloads: 52
[texts]Evaluation of Refractivity Profiles from CHAMP and SAC-C GPS Radio Occultation - Poli, Paul
The GeoForschungsZentrum's Challenging Minisatellite Payload for Geophysical Research and Application (CHAMP, Germany-US) and the Comision Nacional de Actividades Especiales' Satelite de Aplicaciones Cientificas-C (SAC-C, Argentina-US) missions are the first missions to carry a second-generation Blackjack Global Positioning System (GPS) receiver. One of the new features of this receiver is its ability to sense the lower troposphere closer to the surface than the proof-of-concept GPS Meteorology ...
Keywords: AIRBORNE/SPACEBORNE COMPUTERS; ALGORITHMS; ARCHITECTURE (COMPUTERS); ONBOARD DATA PROCESSING; DATA COMPRESSION; SPECTRUM ANALYSIS; DATA FLOW ANALYSIS; APPLICATIONS PROGRAMS (COMPUTERS); SPACECRAFT DESIGN; COMMERCIAL OFF-THE-SHELF PRODUCTS; COST EFFECTIVENESS
Downloads: 82
[texts]ibm :: system34 :: fe :: SY31-0458-3 System 34 5340 System Unit Theory Diagrams Manual Jul79 :: SY31-0458-3 Section 10 Attachement Controllers
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: system34 :: fe :: SY31-0458-3 System 34 5340 System Unit Theory Diagrams Manual Jul79 :: SY31-0458-3 Section 10 Attachement Controllers
Keywords: controller; storage; data; adapter; printer; sar; instruction; lines; work station; adapter card; data flow; storage data; controller load; controller card; printer adapter; address register; sar bits; data address
Downloads: 27
[texts]BSTJ 57: 6. July-August 1978: UNIX Time-Sharing System: RBCS/RCMAS - Converting to the MERT Operating System. (Nagelberg, E.R.; Pilla, M.A.)
Bell System Technical Journal, 57: 6. July-August 1978 pp 2275-2287. UNIX Time-Sharing System: RBCS/RCMAS - Converting to the MERT Operating System. (Nagelberg, E.R.; Pilla, M.A.)
Keywords: mert; unix; rbcs; data; rcmas; interprocess; system; operating; flow; converting; bell system; unix system; operating system; system technical; mert operating; data flow; software engineering; unix operating; data base; interprocess communication
Downloads: 45
[texts]mit :: ai :: aim :: AITR-904
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-904
Keywords: program; flow; graph; recognizer; figure; input; node; loop; rule; grammar; flow graph; control environment; control flow; data flow; program recognition; grammar rule; leading edge; read head; plan calculus; grammar rules
Downloads: 47
[texts]dec :: tech reports :: WRL-92-6
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: WRL-92-6
Keywords: wrl; code; interprocedural; procedure; compiler; report; mips; optimization; loop; invariant; wrl technical; technical note; data flow; code motion; dead code; liveness analysis; invariant code; object code; interprocedural dead; call graph
Downloads: 8
[texts]ibm :: system36 :: 5364 :: SY31-9027 5364ServiceCode Jan86
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: system36 :: 5364 :: SY31-9027 5364ServiceCode Jan86
Keywords: program; disk; planar; fru; msp; adapter; data; csp; station; work station; adapter card; memory card; csp card; planar board; disk failures; msp data; flow card; data flow; program check
Downloads: 64
[texts]ibm :: generalInfo :: TD 01.01.002.005 Principles Of Digital Computers Sep60
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: generalInfo :: TD 01.01.002.005 Principles Of Digital Computers Sep60
Keywords: ibm; binary; data; storage; decimal; code; adder; magnetic; drum; arithmetic; data flow; data processing; print mechanism; flow chart; capacitor storage; symbolic logic; processing system; magnetic tape; access arm; tape drive
Downloads: 42
[texts]mit :: ai :: aim :: AIM-1256
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-1256
Keywords: design; program; cliche; input; output; programmer; data; chapter; step; constraints; design step; design steps; design artifacts; manipulating design; design process; detailed design; shortest path; program description; data structures; data flow
Downloads: 30
[texts]hp :: 64000 :: brochures :: 5953-9297 High-Level Software Analyzers May-1986
From the bitsavers.org collection, a scanned-in computer-related document.hp :: 64000 :: brochures :: 5953-9297 High-Level Software Analyzers May-1986
Keywords: software; analyzer; trace; measurement; variables; statements; source; modules; emulation; microprocessors; software analyzer; software analyzers; emulation bus; trace statements; data flow; trace data; statements measurement; analyzer software; trace variables; count statements
Downloads: 42
[texts]mit :: ai :: aim :: AITR-1053
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-1053
Keywords: debussi; bug; program; debugging; localization; dependency; user; reasoning; bugs; function; split analysis; data flow; control flow; code window; interaction window; bug localization; localization scenarios; artificial intelligence; reasoning system; partially implemented
Downloads: 40
[texts]mit :: lcs :: tr :: MIT-LCS-TR-240
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-240
Keywords: arc; graph; data; flow; acknowledge; input; arcs; output; token; figure; data flow; flow graph; acknowledge arc; arc pair; petri net; arc pairs; acknowledge arcs; flow graphs; conditional construct; time unit
Downloads: 31
[texts]ibm :: sna :: GA27-3102-0 SNA General Information Jan75
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: sna :: GA27-3102-0 SNA General Information Jan75
Keywords: network; control; transmission; data; communication; flow; sna; subsystem; requests; unit; transmission subsystem; communication system; data link; data flow; transmission control; path control; function management; systems network; network architecture; architecture general
Downloads: 30
[texts]mit :: lcs :: tr :: MIT-LCS-TR-280
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-280
Keywords: array; buffering; graph; flow; data; fdg; node; forall; algorithm; val; data flow; buffering graph; fully pipelined; static data; pipelined data; flow machine; balanced buffering; directly reachable; array operations; val program
Downloads: 39
[texts]ibm :: system36 :: SY31-9027 5364ServiceCode Jan86
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: system36 :: SY31-9027 5364ServiceCode Jan86
Keywords: program; disk; planar; fru; msp; adapter; data; csp; station; work station; adapter card; memory card; csp card; planar board; disk failures; msp data; flow card; data flow; program check
Downloads: 19
[texts]dec :: pdp10 :: KS10 :: EK-PCL20-UG-001 PCL20 Parallel Communications Link Users Guide Jul80
From the bitsavers.org collection, a scanned-in computer-related document.dec :: pdp10 :: KS10 :: EK-PCL20-UG-001 PCL20 Parallel Communications Link Users Guide Jul80
Keywords: data; unibus; transmitter; address; receiver; tdm; uba; silo; npr; tdm bus; register format; ksio bus; register bit; bus address; paging ram; bit descriptions; odd word; data flow; status register
Downloads: 35
[texts]ibm :: 360 :: fortran :: Y27-7161-0 360-1130 com PLM
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: 360 :: fortran :: Y27-7161-0 360-1130 com PLM
Keywords: data; routine; transmission; asynchronous; array; ptop; program; message; control; operation; asynchronous routine; data transmission; input array; unit assignment; output array; control block; save area; data flow; ptop routines; ptop data
Downloads: 28
[texts]mit :: lcs :: tr :: MIT-LCS-TR-362
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-362
Keywords: data; cons; flow; connection; applicative; graph; static; reference; cell; program; data flow; static data; connection machine; reference count; cons cells; cons cell; dynamic data; style dynamic; macro instructions; flow graph
Downloads: 40
[texts]mit :: ai :: aim :: AITR-492
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-492
Keywords: segment; flow; program; temporal; data; pbm; plan; behavioral; waters; pbms; data flow; control flow; behavioral description; plan building; building methods; temporal composition; flow diagram; temporal data; behavioral descriptions; control flows
Downloads: 48
[texts]mit :: ai :: aim :: AITR-354
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-354
Keywords: data; segment; flow; program; programming; specs; plan; object; output; segments; data flow; control flow; purpose links; deep plan; surface plan; deductive system; data base; hash table; data objects; symbolic evaluation
Downloads: 30
[texts]ibm :: 43xx :: 4331 :: fe :: 4331 MI Vol17 Sep82
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: 43xx :: 4331 :: fe :: 4331 MI Vol17 Sep82
Keywords: adapter; control; code; ibm; log; copyright; power; storage; maps; processor; machines corporation; business machines; reference code; international business; copyright international; support subsystem; support processor; multiplexer channel; data flow; code log
Downloads: 10
[texts]mit :: lcs :: tr :: MIT-LCS-TR-247
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-247
Keywords: procedure; variables; alias; parameters; algorithm; aliasing; variable; values; formal; affect; control flow; procedure variables; data flow; formal parameters; transitive closure; actual parameters; procedure variable; storage accessible; label variables; formal parameter
Downloads: 38
[texts]mit :: ai :: aim :: AIM-954
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-954
Keywords: program; components; programming; data; kbemacs; logical; plan; calculus; transformations; reusable; programming language; plan calculus; program schemas; logical formalisms; reusable components; program text; data flow; matrix add; control flow; semantic basis
Downloads: 35
[texts]mit :: lcs :: tr :: MIT-LCS-TR-220
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-220
Keywords: streams; data; stream; operators; dfpl; output; semantics; input; operator; program; data flow; partial order; input streams; denotational semantics; programming language; dfpl programs; dfpl program; continuous functions; primitive operators; upper bound
Downloads: 37
[texts]mit :: lcs :: tr :: MIT-LCS-TR-262
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-262
Keywords: construct; integer; cell; operand; forall; instruction; figure; boolean; values; array; data flow; instruction cells; instruction cell; iter construct; return address; element expression; third operand; cell number; flow machine; second operand
Downloads: 36
[texts]mit :: ai :: aim :: AIM-1083
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-1083
Keywords: series; sequence; expressions; lisp; elements; optimizable; data; procedure; expression; loop; series expressions; sequence expressions; data flow; sequence expression; optimizable series; optimizable sequence; lisp implementation; common lisp; pascal implementation; lazy evaluation
Downloads: 37
[texts]mit :: lcs :: tr :: MIT-LCS-TR-742
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-742
Keywords: input; module; image; output; processing; properties; matching; parameter; payload; figure; input port; output port; gray scale; float float; inputjport input; data flow; port output; processing time; room monitor; input inputjport
Downloads: 37
[texts]mit :: lcs :: tr :: MIT-LCS-TR-256
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-256
Keywords: data; cobol; hibol; program; file; temporal; translation; output; predicate; faust; translation process; analyzed plan; cobol program; data division; cobol programs; data flow; temporal composition; hibol program; symbolic evaluation; key fields
Downloads: 35
[texts]ibm :: system3 :: fe :: SY31-0207-1 Field Engineering 5410 Processing Unit Theory of Operation
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: system3 :: fe :: SY31-0207-1 Field Engineering 5410 Processing Unit Theory of Operation
Keywords: lsr; storage; byte; address; data; cycle; alu; field; condition; main storage; low order; high order; field byte; condition register; program level; order position; gate lsr; sar bit; data flow
Downloads: 21
[texts]dec :: tech reports :: SRC-TN-1997-032
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-TN-1997-032
Keywords: program; cyl; secure; predicate; flow; security; programs; characterization; lemma; initial; flow analysis; data flow; weakest precondition; security condition; type system; type systems; program equality; predicate calculus; precondition calculus; analysis approach
Downloads: 8
[1] 2 3     Next    Last
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

texts

Terms of Use (31 Dec 2014)